#define GPIO_BASE 0xF0000000
#define GPIO_OUTPUT 4
#define GPIO_OUTPUT_ENABLE 8

crtStart:
  li x31, GPIO_BASE
  li t0, 0x000000FF
  sw t0, GPIO_OUTPUT_ENABLE(x31)

  li t0,0
redo:
  sw t0, GPIO_OUTPUT(x31)
  li t1,10000
  addi t0,t0,1
loop:
  addi t1,t1,-1
  bnez t1, loop
  j redo

